Euler's theorem in geometry 欧拉定理
automated geometry theorem proving 几何定理机器证明
Mechanical geometry theorem proving 几何定理机器证明
differential geometry theorem proving 微分几何定理证明
The main tasks of this article are as follows:(1) It is introduced the fundamental theory of mechanical geometry theorem proving and the parallel computation, several kinds of parallel programming models, then constructs the parallel computation experiment environment with MPICH.
本文工作主要集中在以下几个方面: (1)介绍了几何定理机器证明和并行计算的基本理论,对几种不同的并行编程模式进行分析。
参考来源 - 几何定理机器证明并行算法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.
为了生成传统形式的几何定理可读证明,前推法必不可少。
Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed.
同时,也对四色问题与初等几何定理证明作了简单的讨论。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。
And we learned how to prove the Pythagorean Theorem in Euclidean geometry, starting with the various axioms in Euclidean geometry, ba, ba-ba, ba-ba, ba-ba, ba bum.
我们都学习过,欧几里得几何中对勾股定理的证明方法,从繁杂的欧氏几何的公理开始,邦,邦邦,邦邦,邦邦
应用推荐